$\forall$$A$:Type, $a$:$A$, ${\it as}$:($A$ List). $\parallel$cons($a$; ${\it as}$)$\parallel$ = ($\parallel$${\it as}$$\parallel$ + 1)